Tool Integration for Reasoned Programming
نویسنده
چکیده
We argue for the importance of tool integration in achieving the Program Verifier Grand Challenge. In particular, we argue for what we call strong integration, i.e. a co-operative style of interaction between tools. We propose the use of an existing planning technique, called proof planning, as a possible basis for achieving strong integration.
منابع مشابه
Target setting in the process of merging and restructuring of decision-making units using multiple objective linear programming
This paper presents a novel approach to achieving the goals of data envelopment analysis in the process of reconstruction and integration of decision-making units by using multiple objective linear programming. In this regard, first, we review inverse data envelopment analysis models for data reconstruction and integration. We present a model with multi-objective linear programming structure in...
متن کاملApplication of Genetic Programming as a Powerful Tool for Modeling of Cellulose Acetate Membrane Preparation
متن کامل
Supply chain network design problem for a new market opportunity in an agile manufacturing system
The characteristics of today's competitive environment, such as the speed with which products are designed, manufactured, and distributed, and the need for higher responsiveness and lower operational cost, are forcing companies to search for innovative ways to do business. The concept of agile manufacturing has been proposed in response to these challenges for companies. This ...
متن کاملApplication of the theory of reasoned action to promoting breakfast consumption
Background: Breakfast is the most important daily meal, but neglected more than other meals by children and adolescents. The aim of this study was to evaluate the effectiveness of an educational intervention, based on the Theory of Reasoned Action (TRA) to increase breakfast consumption among school children in Bandar Abbas, Iran. Methods: In this quasi experimental study which was conducted...
متن کاملGeometric Programming with Stochastic Parameter
Geometric programming is efficient tool for solving a variety of nonlinear optimizationproblems. Geometric programming is generalized for solving engineering design. However,Now Geometric programming is powerful tool for optimization problems where decisionvariables have exponential form.The geometric programming method has been applied with known parameters. However,the observed values of the ...
متن کامل